Formal analysis

Results: 1589



#Item
21

  Real-time Blocks  Integrating Reactive Blocks with JamaicaVM  This collaborative concept paper highlights how graphical model-driven design, formal  analysis, and automated Java code generation can be combined wit

Add to Reading List

Source URL: www.bitreactive.com

- Date: 2016-10-05 06:31:03
    22

    Lecture 2: Domain Analysis: Meaning and Syntax 2.1. Formal Concept Analysis

    Add to Reading List

    Source URL: www2.imm.dtu.dk

    - Date: 2012-11-17 03:47:40
      23

      A Formal Analysis of the Cambridge Economic Policy Group Model Francis Cripps; Wynne Godley Economica, New Series, Vol. 43, NoNov., 1976), ppStable URL: http://links.jstor.org/sici?sici=%28197

      Add to Reading List

      Source URL: www.soas.ac.uk

      - Date: 2015-09-08 07:36:20
        24

        Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

        Add to Reading List

        Source URL: www.imm.dtu.dk

        - Date: 2016-09-28 03:17:34
          25

          Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

          Add to Reading List

          Source URL: www2.compute.dtu.dk

          - Date: 2016-09-28 03:17:34
            26

            7 June 2016, 08:16 am: Submitted to Formal Aspects of Computing Domain Facets Analysis & Description – 7 June 2016, 08:16 am Dines Bjørner Fredsvej 11, DK-2840 Holte, Denmark.

            Add to Reading List

            Source URL: www2.compute.dtu.dk

            - Date: 2016-09-24 08:33:45
              27

              Simulating Human Inferences in the Light of New Information: A Formal Analysis

              Add to Reading List

              Source URL: www.ijcai.org

              - Date: 2016-06-28 15:11:14
                28

                A Formal Security Analysis of the Signal Messaging Protocol Version 1.1, October 2016† Katriel Cohn-Gordon1 , Cas Cremers1 , Benjamin Dowling2 , Luke Garratt1 , and Douglas Stebila3 1

                Add to Reading List

                Source URL: eprint.iacr.org

                - Date: 2016-11-01 11:47:38
                  29

                  Call for Papers 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS’16) Qu´ ebec City, Qu´

                  Add to Reading List

                  Source URL: formats16.lsv.fr

                  - Date: 2016-02-27 04:41:05
                    30

                    Formal Analysis of Geometrical Optics using Theorem Proving Muhammad Umair Siddique A Thesis

                    Add to Reading List

                    Source URL: hvg.ece.concordia.ca

                    - Date: 2015-12-21 21:22:16
                      UPDATE